Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
491	DOC Document Add to Reading List Source URL: www.cidoc-crm.org Language: English - Date: 2006-01-26 05:28:17 Computing Data types Type theory Polymorphism Object Class Inheritance Subtype polymorphism Type Software engineering Object-oriented programming Computer programming
492	Scale-free Geometry in Object-Oriented Programs Alex Potanin, James Noble, Marcus Frean, Robert Biddle School of Mathematical and Computing Sciences Victoria University of Wellington, New Zealand {alex, kjx, marcus, robe Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2008-08-10 00:11:06 Object-oriented programming Data types Graph theory Memory management Graph Object Garbage collection Scale-free network Self Software engineering Computing Computer programming
493	GROUP OBJECT STRUCTURE AND STATE ESTIMATION IN THE PRESENCE OF MEASUREMENT ORIGIN UNCERTAINTY Lyudmila Mihaylova and Amadou Gning Lancaster University, Dept. of Communication Systems, InfoLab21, Lancaster LA1 4WA, UK Ema Add to Reading List Source URL: eprints.lancs.ac.uk Language: English - Date: 2011-01-27 18:31:22 Graph theory Logarithms Graph Connectivity Kalman filter Heat equation Mathematics Abstract algebra Group actions
494	Cross-Language, Type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes Michal Wegiel Chandra Krintz Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 2010-07-26 12:33:36 Object-oriented programming Data types Type theory Cross-platform software Memory management Garbage collection Java Serialization Immutable object Computing Software engineering Computer programming
495	Things, stuffs, and coincidence: A non-ontological point of view Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:45:49 Substance theory Category of being Property Hyle Object Aristotle Being Matter Chemistry Ontology Metaphysics Philosophy
496	UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: kennknowles.com Language: English - Date: 2014-02-23 11:12:22 Programming language theory Data types Object-oriented programming Program analysis Type system Subtype polymorphism Program refinement C Dependent type Type theory Software engineering Computing
497	Microsoft Word - Gesamt.doc Add to Reading List Source URL: www.metaphysica.de Language: English - Date: 2006-02-07 06:42:18 Intrinsic and extrinsic properties Supervenience Category of being Property Substance theory Causality Idealism Object Intrinsic value Metaphysics Philosophy Ontology
498	Understanding TypeScript Gavin Bierman1,? , Mart´ın Abadi2 , and Mads Torgersen2 1 2 Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2014-06-20 19:14:31 Programming language theory Data types Object-oriented programming Lambda calculus Polymorphism Type system JavaScript Subtype polymorphism Type safety Software engineering Computing Type theory
499	6 Applying Patterns Within this process, every individual act of building is a process in which space gets differentiated. Add to Reading List Source URL: www.cs.wustl.edu Language: English - Date: 2000-07-19 11:43:28 Software design patterns Architectural theory Software architecture Architectural design Pattern language Pattern A Pattern Language Object-oriented design Design pattern Design Software engineering Visual arts
500	Theory and Applications of Categories, Vol. 29, No. 23, 2014, pp. 635–653. CONSTRUCTING MODEL CATEGORIES WITH PRESCRIBED FIBRANT OBJECTS ALEXANDRU E. STANCULESCU Abstract. We present a weak form of a recognition princ Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-10-23 11:47:00 Category theory Mathematics Algebraic topology Monoidal categories Model category Adjoint functors Fibrant object Kan fibration Simplicial set Homotopy theory Abstract algebra Topology

UPDATE